FNV: light-weight flash-based network and pathway viewer

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

FNV: light-weight flash-based network and pathway viewer

MOTIVATION Network diagrams are commonly used to visualize biochemical pathways by displaying the relationships between genes, proteins, mRNAs, microRNAs, metabolites, regulatory DNA elements, diseases, viruses and drugs. While there are several currently available web-based pathway viewers, there is still room for improvement. To this end, we have developed a flash-based network viewer (FNV) f...

متن کامل

Light Weight Security and Authentication in Wireless Body Area Network

In recent year, the increasing number of wearable sensors on human can serve for many purposes like emergency care, health care remote monitoring, personal entertainment and communication etc. The healthcare application is used for 24 hours constant monitoring without disturbing day to day activities. The WBAN enables the medical applications to be developed using electronic devices and sensors...

متن کامل

A light-weight, flexible, and web-based testbed for computer & network security experiments

............................................................................................................................. iii Table of

متن کامل

The Pathway Tools cellular overview diagram and Omics Viewer

The Pathway Tools cellular overview diagram is a visual representation of the biochemical network of an organism. The overview is automatically created from a Pathway/Genome Database describing that organism. The cellular overview includes metabolic, transport and signaling pathways, and other membrane and periplasmic proteins. Pathway Tools supports interrogation and exploration of cellular bi...

متن کامل

Light-Weight SMT-based Model Checking

Recently, the notion of an array-based system has been introduced as an abstraction of infinite state sys-tems (such as mutual exclusion protocols or sorting programs) which allows for model checking of invariant(safety) and recurrence (liveness) properties by Satisfiability Modulo Theories (SMT) techniques. Unfortu-nately, the use of quantified first-order formulae to describe sets...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Bioinformatics

سال: 2011

ISSN: 1367-4803,1460-2059

DOI: 10.1093/bioinformatics/btr098